Research on cyber-physical system models of downhole locomotive dispatching and fault

نویسندگان

چکیده

Fault diagnosis is of great significance for the rapid recovery system after accident. Intelligent dispatching among multiple controllers developed in this work to improve efficiency downhole locomotive dispatching, finally realizing unmanned intelligent dispatching. The logic processing model with signal lights, rutting machine, locomotives, and other equipment established based on theory Cyber-physical systems (CPS). tasks are combined embedded controller which make it convenient optimize procedures using Ptolemy II software. Our key findings indicate that proposed can process without deadlock procedure more reasonable. Simulation practical experiments demonstrate cooperation speed be improved CPS built, realize safer effective automatic

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Architectural and Analytic Integration of Cyber-Physical System Models

Modeling methods for Cyber-Physical Systems (CPS) originate in various engineering fields, and are difficult to use together due to their heterogeneity. Inconsistencies between mutually oblivious models and analyses often lead to implicit design errors, which may cause catastrophic failures of critical CPS. Such consistency issues are not fully solved by the state-of-the-art integration methods...

متن کامل

ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models

Formal verification and validation play a crucial role in making cyber-physical systems (CPS) safe. Formal methods make strong guarantees about the system behavior if accurate models of the system can be obtained, including models of the controller and of the physical dynamics. In CPS, models are essential; but any model we could possibly build necessarily deviates from the real world. If the r...

متن کامل

Test Case Generation from Formal Models of Cyber Physical System

Formal methods and testing are two important approaches that assist in the development of cyber physical systems. Formal specification can be used to assist testing and Formal methods and testing are seen as complementary. In this paper, we address the problem of generating test cases for cyber physical systems from formal specifications using differential dynamic logic(DL), a logic for specify...

متن کامل

Medical Cyber Physical System

Cyber Physical System (CPS) is collection of different computation component which collaborate with each other in order to control the physical entity. Cyber physical system has a far reaching effect in different area such as aerospace, automotive, chemical processes, civil infrastructure, energy, healthcare, manufacturing, transportation, entertainment, and consumer appliances. CPS in healthca...

متن کامل

Survivability Analysis on a Cyber-Physical System

A cyber-physical system (CPS) is composed of interdependent physical-resource and cyber-resource networks that are tightly coupled. The malfunction of nodes in a network may trigger failures to the other network and further cause cascading failures, which would potentially lead to the complete collapse of the entire system. The number and communication of operating nodes at stable state are clo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Advances in Mechanical Engineering

سال: 2023

ISSN: ['1687-8132', '1687-8140']

DOI: https://doi.org/10.1177/16878132231197163